<header> KDC </header> O nome de um host executando um KDC para essa região, com seu número de porta opcional. <br> Isso deve ser usado apenas se as informações do KDC não estiverem disponíveis no DNS. <hr>